$\forall$$A$:Type, $L$:($A$ List). l\_disjoint($A$;$L$;[])